Mathematical Programming - PDFSEARCH.IO - Document Search Engine

Mathematical Programming
Results: 4310

#	Item
651	Logic and Artificial Intelligence Carnegie Mellon University Spring 2013 Instructor: E-Mail: Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2015-03-10 03:37:53 Reasoning Artificial intelligence Non-classical logic Modal logic Logic programming Knowledge representation and reasoning Epistemic modal logic Description logic Reason Logic Science Mathematical logic
652	Programming Language Techniques for Cryptographic Proofs Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematics Knowledge Mathematical proof Science Cryptography Ciphertext indistinguishability Optimal asymmetric encryption padding
653	Microsoft Word - 15.IASS_block_ochsendorf_2007_rev.doc Add to Reading List Source URL: web.mit.edu Language: English - Date: 2008-05-20 06:02:00 Mathematics Geometry Linear programming Vault Duality Grid plan Grid Regular grid Mathematical optimization Convex optimization Operations research
654	Microsoft Word - TH Manual.doc Add to Reading List Source URL: www.sqliteconcepts.org Language: English - Date: 2009-05-05 17:06:52 Scripting languages Mathematical notation Pattern matching Tcl Cross-platform software Bracket C syntax Test Regular expression Computing Software engineering Computer programming
655	Parallel Branch-and-Bound for Two-Stage Stochastic Integer Optimization Akhil Langer‡ , Ramprasad Venkataraman‡ , Udatta Palekar∗ , Laxmikant V. Kale‡ ‡ Department of Computer Science, ∗ College of Business Add to Reading List Source URL: charm.cs.illinois.edu Language: English - Date: 2014-02-05 22:25:28 Theoretical computer science Linear programming Mathematical optimization Travelling salesman problem Stochastic programming Search algorithm Stochastic optimization Sudoku algorithms Operations research Mathematics Applied mathematics
656	Version 1.0 Open X and Arm David May: April 25, 2013 Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2013-05-02 09:46:47 C programming language Procedural programming languages Algebra Machine code Mathematical notation Operand DEC Alpha Stack C Computing Software engineering Computer programming
657	Stochastic and fluid index policies for resource allocation problems M. Larran˜aga1,2,5 , U. Ayesta2,3,4,5 , I.M. Verloop1,5 IRIT, 2 rue C. Carmichel, FToulouse, France. 2 CNRS, LAAS, 7 avenue du colonel Roche, F Add to Reading List Source URL: verloop.perso.enseeiht.fr Language: English - Date: 2015-04-01 14:42:52 Systems theory Dynamic programming Operations research Equations Optimal control Bellman equation Multi-armed bandit Markov decision process Relaxation Statistics Mathematical optimization Control theory
658	The Bellman Equation for Power Utility Maximization with Semimartingales Marcel Nutz ETH Zurich, Department of Mathematics, 8092 Zurich, Switzerland First Version: December 9, 2009. This Version: Add to Reading List Source URL: www.math.columbia.edu Language: English - Date: 2011-07-12 11:24:16 Mathematical optimization Equations Operations research Semimartingale Bellman equation Martingale Dynamic programming Stochastic calculus Optimal control Statistics Martingale theory Stochastic processes
659	Biotechnology Year – 2014 General aptitude Questions 01 to 05 carry one mark each. 01. Add to Reading List Source URL: www.thepathfinder.in Language: English - Date: 2014-12-04 08:30:48 Logarithms Operator theory Ordinary differential equations Spectral theory Formosan languages Classical cipher Mathematics Computer programming Mathematical analysis
660	Mechanical Approach to Linking Operational Semantics and Algebraic Semantics for Verilog using Maude Huibiao Zhu1 Peng Liu1 Add to Reading List Source URL: utp12.lri.fr Language: English - Date: 2012-08-28 06:48:22 Mathematical logic Logic in computer science Semantics Grammar Denotational semantics Operational semantics Algebraic semantics Negation Interpretation Programming language semantics Theoretical computer science Logic

UPDATE